PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems Journal title: EAI Endorsed Transactions on Collaborative Computing Authors: Paolo Masci, Patrick Oladimeji, Piergiuseppe Mallozzi, Paul Curzon, Harold Thimbleby Subject(s): Computer and Information Science, Computer Architecture, Data Communication and Networks
An Introduction to the Book Titled Nature of Computation and Communication Journal title: EAI Endorsed Transactions on Context-aware Systems and Applications Authors: Phan Cong Vinh Subject(s): Computer and Information Science, Data Communication and Networks
Templates as heuristics for proving properties of medical devices Journal title: EAI Endorsed Transactions on Creative Technologies Authors: Michael Harrison, Jose Campos, Paolo Masci, Paul Curzon Subject(s): Computer and Information Science, Telecommunications
Are HLS Tools Healthy? The C-Cubed Project Journal title: Engineering, Technology & Applied Science Research Authors: M. Dossis, G. Dimitriou Subject(s): Engineering, Technological Change, Information Science, Industrial Management, Civil Engineering
Enrichment of Object Oriented Petri Net and Object Z Aiming at Business Process Optimization Journal title: International Journal of Advanced Computer Science & Applications Authors: Aliasghar Ahmadikatouli, Homayoon Motameni Subject(s):
An Evaluation of A Country Based Anti- Phishing Approach Using Formal Methods Journal title: International Journal of Computer Science & Engineering Technology Authors: Abdullah M. Alnajim Subject(s):
A New Approach to the Quantitative Measurement of Software Reliability Journal title: Journal of Information Systems and Telecommunication Authors: Abbas Rasoolzadegan Subject(s):
An Approach to Compose Viewpoints of Different Stakeholders in the Specification of Probabilistic Systems Journal title: Journal of Information Systems and Telecommunication Authors: Mahboubeh Samadi, Hasan Haghighi Subject(s):
Analysis of Formal Methods for Specification of E-Commerce Applications Journal title: Mehran University Research Journal of Engineering and Technology Authors: Sadiq Ali Khan, Huma Jamshed Subject(s):
QUESTIONS INTELLECTUALIZATION OF MANAGEMENT OF TRANSPORTATION PROCESSES FOR RAILWAYS Journal title: Международный научный журнал "Интернаука" Authors: N.M. Aripov, D.X. Baratov Subject(s):
A New Comment on Reinforcement of Testing Criteria Journal title: International Journal of Advanced Computer Science & Applications Authors: Monika Singh, Vinod Kumar Jain Subject(s):
Formal Specification of a Truck Geo-Location Big-Data Application Journal title: International Journal of Advanced Computer Science & Applications Authors: Ayman Naseem, Nadeem Akhtar, Malik Saad Missen Subject(s):
Modeling and Verification of Payment System in E-Banking Journal title: International Journal of Advanced Computer Science & Applications Authors: Iqra Obaid, Syed Asad Raza Kazmi, Awais Qasim Subject(s):
Agent based Architecture for Modeling and Analysis of Self Adaptive Systems using Formal Methods Journal title: International Journal of Advanced Computer Science & Applications Authors: Natash Ali Mian, Farooq Ahmad Subject(s):
A Non-Parametric Comparison between Advances Software Engineering Process Model Journal title: LAHORE GARRISON UNIVERSITY RESEARCH JOURNAL OF COMPUTER SCIENCE AND INFORMATION TECHNOLOGY Authors: SADIA KOUSAR, SUNDUS MUNIR, AFROZAH NADEEM, SHAFIA KOUSAR Subject(s):
